[IA64] Flush cache after patch kernel

Need flushing cache here, if not, i/d cache may be not synchronous.

Signed-off-by: Duan Ronghui <ronghui.duan@intel.com>

diff --git a/xen/arch/ia64/xen/xenpatch.c b/xen/arch/ia64/xen/xenpatch.c
index f9c9f9cafc7f96f571d4a515b97d38da492431f0..4ecab74ebb1b7a579b6cf8cf729c7a17b2107525 100644 (file)
--- a/xen/arch/ia64/xen/xenpatch.c
+++ b/xen/arch/ia64/xen/xenpatch.c
@@ -103,6 +103,7 @@ static void __init xen_patch_frametable_miss(u64 offset)
        addr = (u64)&frametable_miss;
        val = get_imm64(addr) + offset;
        ia64_patch_imm64(addr, val);
+       ia64_fc(addr);
 #endif
 }